#include "error.h"

void put(char* msg){
    printf("ERROR: %s\n",msg);
    fflush(stdout);
}

